predicate logic wffs